Định nghĩa Hàm_đồng_nhất

Chính xác hơn, nếu M là một tập hợp, hàm đồng nhất f trên M được định nghĩa là hàm với tập xác định và tập giá trị M thỏa mãn:

f(x) = x   với mọi phần tử x thuộc tập M.[1]

Hàm số trên vừa là đơn ánh vừa là toàn ánh, nên nó là song ánh.

Hàm đồng nhất trên M thường được ký hiệu là idM.